typedef int bar;
int foo() {
  return 2 * (bar) 3.0;
}